Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
991	PDF Document Add to Reading List Source URL: www.psych.utah.edu Language: English - Date: 2006-05-26 11:05:30 Logic Boolean algebra Propositional calculus Bioinformatics Boolean network Attractor Exclusive or Euclidean vector FO Mathematics Algebra Abstract algebra
992	PDF Document Add to Reading List Source URL: www.qedeq.org Language: English - Date: 2013-05-24 16:15:39 Propositional calculus Formal languages Logical syntax First-order logic Proposition Predicate variable Well-formed formula Function Lambda calculus Logic Mathematical logic Predicate logic
993	PDF Document Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2004-05-17 23:00:00 Philosophical logic Semantics Propositional calculus Logical syntax Interpretation Entailment Truth Proposition Axiom Logic Philosophy Philosophy of language
994	PDF Document Add to Reading List Source URL: www.math.wisc.edu Language: English - Date: 2008-04-24 11:40:22 Logical syntax Model theory Formal languages Metalogic Interpretation Entailment Logical connective First-order logic Well-formed formula Logic Mathematical logic Propositional calculus
995	PDF Document Add to Reading List Source URL: www.math.uwaterloo.ca Language: English - Date: 2001-07-03 17:39:10 Mathematical logic Algebraic structures Algebraic logic The Laws of Thought George Boole Propositional calculus Boolean ring Algebra Model theory Abstract algebra Mathematics Boolean algebra
996	PDF Document Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-10-15 05:36:10 Automated theorem proving Boolean algebra Constraint programming Logic in computer science Propositional calculus DPLL algorithm Boolean satisfiability problem Satisfiability Modulo Theories Unit propagation Theoretical computer science Mathematical logic Mathematics
997	PDF Document Add to Reading List Source URL: www.logika.umk.pl Language: English - Date: 2005-12-06 14:52:28 Non-classical logic Bernard Bolzano Entailment Relevance logic Interpretation Modal logic Term logic Mathematical logic Proposition Logic Philosophical logic Propositional calculus
998	PDF Document Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-04-15 09:47:15 Propositional calculus Non-classical logic Proof theory Intuitionism Intuitionistic logic Natural deduction Negation First-order logic Law of excluded middle Logic Mathematical logic Mathematical constructivism
999	PDF Document Add to Reading List Source URL: www.philosophy.ed.ac.uk Language: English - Date: 2009-04-23 04:14:51 Philosophy of language Philosophical logic Critical thinking Mathematical logic Propositional calculus Disquotational principle Ignacy Jan Paderewski Truth Modal logic Logic Philosophy Thought
1000	PDF Document Add to Reading List Source URL: www.mi.sanu.ac.rs Language: English - Date: 2011-12-12 18:08:14 Deduction Non-classical logic Propositional calculus Metalogic Sequent Natural deduction Entailment Cut-elimination theorem Deduction theorem Logic Mathematical logic Proof theory